#ifndef _LIB_SYSCALL_TABLE_INIT_H_
#define _LIB_SYSCALL_TABLE_INIT_H_

#include "stdint.h"

void syscall_init();

uint32_t sys_getpid();

uint32_t sys_write(char* str);

#endif // !_LIB_SYSCALL_TABLE_INIT_H_
